Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·21h
🐓Coq
Flag this post
Is Matrix Multiplication Ugly?
🔬Lean
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
The Secret Life of Go
🎯Gradual Typing
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🧠Lisp Dialects
Flag this post
Where "Simulation" Came From
🔤Type Theory
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·17h
⚛️Quantum Algorithms
Flag this post
How to Use That Slide Rule
hackaday.com·1d
🐚Shell Calculus
Flag this post
Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
A game strategy that depends on the Continuum Hypothesis
thehighergeometer.wordpress.com·4d
🔲Cellular Automata
Flag this post
Railway Oriented Programming
🧬Functional Programming
Flag this post
Loading...Loading more...